formatting floats without trailing zeros - python